package xaj.puiatti.ast;


import abc.aspectj.ast.AJNodeFactory;
import abc.aspectj.ast.Pointcut;
import java.util.List;
import polyglot.types.*;
import polyglot.ast.MethodDecl;
import polyglot.ast.Local;
import abc.aspectj.ast.MakesAspectMethods;
import abc.aspectj.visit.TransformsAspectReflection;
import abc.aspectj.types.AJTypeSystem;

public interface Condic extends Pointcut, MakesAspectMethods, TransformsAspectReflection {
    MethodDecl exprMethod(AJNodeFactory nf, AJTypeSystem ts, List formals, ParsedClassType container);
    Condic liftMethod(AJNodeFactory nf);
    public void joinpointFormals(Local n);
}

